Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
003E48 | Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The computability path ordering: the end of a quest |
004297 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
004697 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure : A Reconstruction |
004C56 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
005470 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
This area was generated with Dilib version V0.6.33. |